We use nonstandard methods, based on iterated hyperextensions, to develop applications to Ramsey theory of the theory of monads of ultrafilters. This is performed by studying in detail arbitrary tensor products of ultrafilters, as well as by characterising their combinatorial properties by means of their monads. This extends to arbitrary sets and properties methods previously used to study partition regular Diophantine equations on. Several applications are described by means of multiple examples.

Several different versions of the theory of numerosities have been introduced in the literature. Here, we unify these approaches in a consistent frame through the notion of set of labels, relating numerosities with the Kiesler field of Euclidean numbers. This approach allows us to easily introduce, by means of numerosities, ordinals and their natural operations, as well as the Lebesgue measure as a counting measure on the reals.

We introduceself-divisibleultrafilters, which we prove to be precisely those$w$such that the weak congruence relation$\equiv _w$introduced by Šobot is an equivalence relation on$\beta {\mathbb Z}$. We provide several examples and additional characterisations; notably we show that$w$is self-divisible if and only if$\equiv _w$coincides with the strong congruence relation$\mathrel {\equiv ^{\mathrm {s}}_{w}}$, if and only if the quotient$(\beta {\mathbb Z},\oplus )/\mathord {\mathrel {\equiv ^{\mathrm {s}}_{w}}}$is a profinite group. We also construct an ultrafilter$w$such that$\equiv _w$fails to be symmetric, and describe the interaction between the (...) aforementioned quotient and the profinite completion$\hat {{\mathbb Z}}$of the integers. (shrink)

Dasgupta :35–67, 2009) has argued that material individuals, such as particles and laptops, are metaphysically objectionable and must be eliminated from our fundamental theories of the world. He proposes to eliminate them by redescribing all the fundamental facts of the world in a variant of predicate functor logic. We study the status, on this theory, of a putative fact particularly recalcitrant to a formulation within predicate functor logic: his own claim that there are no fundamental or primitive material individuals. We (...) consider three regimentations of the denial of primitive individuals and show that—under some plausible hypotheses about fundamental truths and the fundamentality operator—they cannot be consistently translated in predicate functor logic by Dasgupta’s usual strategy. We conclude by discussing two approaches to salvage Generalism, in the absence of such a translation. (shrink)

This volume sets out to give a philosophical "applied" account of violence, engaged with both empirical and theoretical debates in other disciplines such as cognitive science, sociology, psychiatry, anthropology, political theory, ...

There are several key ingredients common to the various forms of model-based reasoning considered in this book. The term ‘model’ comprises both internal and external representations. The models are intended as interpretations of target physical systems, processes, phenomena, or situations and are retrieved or constructed on the basis of potentially satisfying salient constraints of the target domain. The book’s contributors are researchers active in the area of creative reasoning in science and technology.

We are living in the era of street art. Since Nick Riggle’s pivotal work on the definition of street art, several philosophers have addressed issues in the philosophy of street art. The goal of this paper is to summarize the literature. I consider the following matters, which have been at the core of philosophical discussions on street art: demarcation, value, illegality, and the ethical foundation of intellectual property (IP) protection. In answering the question ‘What is street art?,’ philosophers have generally (...) resisted skeptical approaches by developing a wide range of real and essentialist definitions of street art (Section 2). When considering street art’s value, I distinguish between aesthetic and non-aesthetic centered accounts. If the former focus on the aesthetic side of our experience of street art, the latter generally place emphasis on its activist nature and political significance (Section 3). In discussing the relationship between street art and illegality, I canvas different takes on the issue. If for some scholars illegality is either a necessary or sufficient condition for street art, philosophers tend to agree that it is neither, while not denying its relevance at the level of identity and authenticity (Section 4). Finally, I consider matters of IP protection of street art. On the one hand, copyright optimists defend the view that current IP legislations may very well have a positive impact on the promotion and preservation of street art. Pessimists, on the other hand, argue that an extension of copyright privileges to works of street art is likely to jeopardize the counter-cultural and rebellious nature of this urban art kind (Section 5). (shrink)

In this article we argue for an extension of Pere Alberch’s notion of developmental morphospace into the realm of cognition and introduce the notion of cognitive phenotype as a new tool for the evolutionary and developmental study of cognitive abilities.

The total irrelevance of absolute space to scientific observation and experiment led him early to a most radical conclusion: experience cannot teach us anything about the true structure of space; consequently, the choice of a geometry for the ...

The “origins” of (geometric) space is examined from the perspective of the so-called “conceptual space” or “semantic space”. Semantic space is characterized by its fundamental “locality” that generates an “implicit” mode of geometrizing. This view is examined from within three perspectives. First, the role that various diagrammatic entities play in the everyday life and pragmatic activities of selected ethnic groups is illustrated. Secondly, it is shown how conceptual spaces are fundamentally linked to the meaning effects of particular natural languages and (...) these are very different from the global and universal aspects of Euclidean spaces. Thirdly, it is contended that these modes of creating body and culture-based spatial frameworks and related cosmogonies and cosmologies can be described as forms of “latent geometry” that initially appear unexplainable in any rational way. Nonetheless, and thanks to the deep mathematical reflections provided by René Thom, it is illustrated how the various ways of generating space can be further analyzed as distortions of mainstream spatialization furnished by Euclidean geometry that established the dominant universality of the ideas of space (and time). (shrink)

ABSTRACT This paper explores philosophically the experiences of laughter and irony, focusing on Japanese sources but with a cross-cultural outlook. I ask whether globally unfavorable attitudes towards the comic in the European canon might have left unexplored or misunderstood several insights offered by the bodily and spiritual dimension revealed by laughter, and examine them through Japanese sources. Following a short but poignant triad of examples in Kuki Shūzō’s work, the paper analyses three instances of Japanese laughter and irony: the orgiastic (...) laughter of the gods luring Amaterasu out of the Heavenly Cave in Kojiki; the anthropomorphic animal scrolls of Chōjūgiga, and the “Tiger Cubs Crossing” stone garden in Ryōanji, Kyoto, concluding how each one of them offers an important insight on the bodily and conceptual phenomenological cluster of laughter and irony. I conclude with a further exploration of laughter in Zen, a religious tradition with a unique stress on the spiritual potential of humor, following Nishitani’s reading of Mumonkan and his connection to the experience of “emptiness”. (shrink)

Il est certes difficile de trouver, parmi les femmes musiciennes, interprètes ou compositrices capables de transmettre leur art, une figure qui puisse servir de référence indiscutable. Cette quête infructueuse peut donner lieu à deux interprétations différentes. L'opinion traditionnelle en déduira l'absence de femmes assez exercées dans l'art musical pour être reconnues et transmettre leurs connaissances, considérées comme inexistantes. La perspective féministe, que je partage, fera remarquer...

More than a hundred years ago, the American philosopher C. S. Peirce suggested the idea of pragmatism as a logical criterion to analyze what words and concepts express through their practical meaning. Many words have been spent on creative processes and reasoning, especially in the case of scientific practices. In fact, philosophers have usually offered a number of ways of construing hypotheses generation, but all aim at demonstrating that the activity of generating hypotheses is paradoxical, illusory or obscure, and thus (...) not analyzable. The “computational turn” gave us a new way to understand creative processes in a strictly pragmatic sense. Artificial Intelligence and Cognitive Science tools allow us to test concepts and ideas previously conceived in abstract terms. It is in the perspective of these actual models that we find the central role of abduction in the explanation of creative reasoning in science. What I call theoretical abduction certainly illustrates much of what is important in abductive reasoning, especially the objective of selecting and creating a set of hypotheses that are able to dispense good explanations of data, but fails to account for many cases of explanation occurring in science or in everyday reasoning when the exploitation of the environment is crucial. The concept of manipulative abduction is devoted to capture the role of action in many interesting situations: action provides otherwise unavailable information that enables the agent to solve problems by starting and performing a suitable abductive process of generation or selection of hypotheses. Many external things, usually inert from the epistemological point of view, can be transformed into what I call epistemic mediators, which are illustrated in the last part of the paper. (shrink)

My book Abductive Cognition. The Epistemological and Eco-Cognitive Dimensions of Hypothetical Reasoning basically refers to all kinds of human hypothetical cognition, also of creative kind. During the research related to the preparation of that book I soon had the opportunity to examine the studies regarding the human process of continuous delegation and distribution of cognitive functions to the environment to lessen cognitive limitations, also and especially in the case of what has been called ‘manipulative abduction’. These design activities are closely (...) related to the process of cognitive niche construction, which I will specifically address in this article. Niche construction should be regarded as a second major participant, after natural selection, in evolution. Indeed, by altering their environment and partly controlling some of the energy and matter fluxes in their ecosystems, organisms are capable of changing some of the natural selective pressures in their local environments. The question I plan to answer is the following: we need to hypothesize a fundamental role of non-genetic information in the evolution, but what kind of evolution could we obtain in this case? I will illustrate that in building various mediating structures, humans transform the environment and create cognitive niches. Thus, humans and other non-human animals become ecological engineers and chance seekers, involved in the processing, the alteration, and even the creation of external structures to reduce or suppress their cognitive limitations. Hence, this article will address a detailed analysis of the role of extragenetic information in evolution and what this process of selection selects for purposeful organisms, so niche-constructing ones. (shrink)

This paper argues, contrary to Fodor’s well-known position, that the iconic and discursive modes of representation are not mutually exclusive categories. It is argued that there exists at least a third kind of representation which blends the semantic properties of icons and the syntactic properties of discourses. We reason that this iconic-discursive genus behaves differently from other representational formats, such as distributed representations or maps, previously put forward as challenging Fodor’s basic distinction. A reflection follows about how this kind of (...) representation impacts on the Fodorian issues for which the original dual distinction was argumentatively instrumental, namely, the kinds of codes and possible inter-code relations accessible to the representational mind. The suggestion is put forward that iconic-discursive representations may facilitate trade-offs between the world and the representational mind, as well as between the differently complex levels of representation that mediate between percepts and concepts. We conclude that such aspects of the computational mind, which until now appeared to be stubbornly resistant with respect to a conciliation of Hume’s empiricism and Fodor’s computationalism, may be more easily accessed and understood taking advantage of the biosemiotics perspective and acknowledging the richness of the biosemiotics codes accessible to cognition. (shrink)

I will analyse three fundamental ways of governing ignorance though abduction, which are essential from an eco-cognitive and eco-logical point of view, in which the central role in human cognition of natural and artefactual environment is taken into account. First of all, according to the so-called GW-schema, proposed by Gabbay and Woods, abduction presents an ignorance-preserving or (ignorance-mitigating) character: given the fact that the abduced hypotheses aim at becoming truths, the basic ignorance is neither solved nor left untouched. Second, I (...) will contend that abduction is not always ignorance preserving but also knowledge enhancing. Indeed, according to the eco-cognitive model of abduction, I myself have recently proposed, we can easily see that, occasionally, knowledge can be immediately increased (and ignorance ‘killed’) through abduction: in this perspective, abduction does not have to be rigidly conceptualized as an inference to the best explanation in the received sense, which is as an inference that, to grant truth, also takes advantage of an empirical evaluation phase or an inductive phase, as Peirce classified it. Finally, it is important to stress that abductive cognition is at the roots of two fundamental cognitive processes. On one side, abductive cognition constructs (and/or takes advantage of the exploitation of) embodiments, external representations, enactions, artefacts and props, which involve ignorant entities suitably transformed in cognitive representations and/or devices. On the other side, abductive cognition dominates those ‘special’ cognitive creative processes that lead to what I call the disseminated ‘computational domestication of ignorant entities’: I will illustrate the example of the recent unconventional computational domestication of ignorant entities, which creates novel cognitive embodiments (morphological computation). (shrink)

This paper will critically assess Popper’s evolutionary philosophy. There exists a rich literature on the topic with which we have many reservations. We believe that Popper’s evolutionary philosophy should be assessed in light of the intriguing theoretical insights offered, during the last 10 years or so, by the philosophy of biology, evolutionary biology and molecular biology. We will argue that, when analysed in this manner, Popper’s ideas concerning the nature of selection, Lamarckism and the theoretical limits of neo-Darwinism can be (...) appreciated in their full biological and philosophical value. (shrink)

This article aims at commenting in a novel way on the concept of political correctness, by showing that, even if adopting a politically-correct behavior aims at promoting a precise moral outcome, violence can be still perpetrated, despite good intentions. To afford in a novel way the problem of political correctness, I will adopt a theoretical strategy that adheres to moral stoicism, the problem of “silence”, the “fascist state of the mind” and the concept of “overmorality”, which I have introduced in (...) my book Understanding Violence. The Intertwining of Morality, Religion, and Violence: A Philosophical Stance. I will demonstrate that political correctness certainly obeys the stoic moral rule, which teaches us that we have to diminish conflicts and, so, the potential for derived violence, by avoiding to pronounce words and expressions that can be offensive and so conflict making. Unfortunately, political correctness often increases the so-called already widespread overmorality, typical of our era, and postulates too many minor moral values to be attributed to individuals and groups, which must be respected. Therefore, engaging in political correctness obscures more serious issues regarding social, political and economic life, committing a sin of abstractness and idealization. At the same time, by discouraging the use of words and expressions, the intrinsic overmoralization at work creates potential new conflicts and potential derived violence. (shrink)

Philosophers of science today by and large reject the cataclysmic and irrational interpretation of the scientific enterprise claimed by Kuhn. Many computational models have been implemented to rationally study the conceptual change in science. In this recent tradition a key role is played by the concept of abduction as a mechanism by which new explanatory hypotheses are introduced. Nevertheless some problems in describing the most interesting abductive issues rise from the classical computational approach. It describes a cognitive process (and so (...) abduction) by the manipulation of internal symbolic representations of external world. This view assumes a discrete set of representations fixed in discrete time jumps, and cannot adequately account for the issue of anticipation and causation of a new hypothesis. An integration of the traditional computational view with some ideas developed inside the so-called dynamical approach can suggest some important insights. The concept of attractor is very significant. It permits a description of the abductive generation of new hypotheses in terms of a catastrophic rearrangement of the parameters responsible for the behavior of the system. (shrink)

In this article, we want to demonstrate how thoughts experiments (TEs) incorporate cognitive structures—abductive inferences as conceptual metaphors—that reliably underpin everyday thinking and are enhanced and rendered more effective in scientific and philosophical contexts. Indeed one might successfully rethink the inferential structure at the heart of thought experiment production as the application of a generative abductive procedure. We shall characterize TES as possessing two characteristics that are essential to the definitions of abductive and metaphorical thinking, but when considered in relation (...) to TE’s description, can excuse mild bewilderment: both knowledge-enhancing and ignorance-preserving features. In sum, we will say that TEs realize extended conceptual metaphors, which instantiate forms of abductive reasoning and, therefore, partially preserve the ignorance of the authors who produce them (even if they also increase a bit their knowledge by—so to speak—mitigating ignorance). In certain fortunate and exceptional instances, however, TEs can also provide a purely knowledge-enhancing benefit; in order to do this, a reference to the innovative and creative function of thought experiments in Galileo’s findings is also included. (shrink)

In this article the problem of _discoverability_ and _abductive creativity_ in scientific cognition will be characterized by the analysis of current difficulties that affect various aspects of the scientific enterprise such as in the case of the organization of Research and Development in biopharmaceutical companies. I will contend that this case symbolizes a paradigmatic example of what I have called “impoverished epistemic niches” in which it seems that some of the fundamental aspects that qualify modern science are jeopardized. To refer (...) to some recent challenges to the crucial role played in scientific abductive cognition by the so-called “maximization of eco-cognitive openness” and “optimization of eco-cognitive situatedness”, I will propose the new concept of “_epistemic irresponsibility_”. I will emphasize the importance of the so-called _knowledge in motion_ – in multidisciplinary, interdisciplinary, and transdisciplinary scientific research: the concept of knowledge in motion is also the necessary conceptual premise of the analysis of various kinds of epistemic irresponsibility. I indeed will illustrate the current increasing expansion of commodification and commercialization of science, marketing of technoscientific products, impoverishment of the epistemic niches, showing that a consequence is and could further be an attack to the possibility of a further flourishing of human fecund and successful abductive creative cognition in science, and so at the same time human creativity severely compromised. (shrink)

Our brains make up a series of signs and are engaged in making or manifesting or reacting to a series of signs: through this semiotic activity they are at the same time engaged in “being minds” and so in thinking intelligently. An important effect of this semiotic activity of brains is a continuous process of “externalization of the mind” that exhibits a new cognitive perspective on the mechanisms underling the semiotic emergence of abductive processes of meaning formation. To illustrate this (...) process I will take advantage of the analysis of some aspects of the cognitive interplay between internal and external representations. I consider this interplay critical in analyzing the relation between meaningful semiotic internal resources and devices and their dynamical interactions with the externalized semiotic materiality suitably stocked in the environment. Hence, minds are material, “extended” and artificial in themselves. A considerable part of human abductive thinking is occurring through an activity consisting in a kind of reification in the external environment and a subsequent re-projection and reinterpretation through new configurations of neural networks and chemical processes. I also illustrate how this activity takes advantage of hybrid representations and how it can nicely account for various processes of creative and selective abduction, bringing up the question of how multimodal aspects involving a full range of sensory modalities are important in hypothetical reasoning. (shrink)

What I call theoretical abduction (sentential and model-based) certainly illustrates much of what is important in abductive reasoning, especially the objective of selecting and creating a set of hypotheses that are able to dispense good (preferred) explanations of data, but fails to account for many cases of explanations occurring in science or in everyday reasoning when the exploitation of the environment is crucial. The concept of manipulative abduction is devoted to capture the role of action in many interesting situations: action (...) provides otherwise unavailable information that enables the agent to solve problems by starting and performing a suitable abductive process of generation or selection of hypotheses. Many external things, usually inert from the epistemological point of view, can be transformed into what I call epistemic mediators, which are illustrated in the last part of the paper, together with an analysis of the related notion of external representation . Finally, some examples of computational programs that simulate geometrical reasoning are illustrated. The computational embodiment generates a kind of squared epistemic mediator: geometrical construction, as an example of epistemic mediator, is further mediated. (shrink)

Computing has become ubiquitous and organic. The “new” human ecosystem is increasingly composed of "intelligent" objects. Since the Nineties there has been a constant application of the practice of disappearance of everyday objects. The daily experience changes, since the objects we use, in their disappearance and imperceptibility, do not divide us from the Life-World. At the same time, the designer is called to rewrite and amplify human experience, and design reflects a different conception of the aesthetic, which must be intended (...) not only as a theory of the artistic and/or cosmetic beauty, but mainly as a science of the experience as such. The designer is no longer limited to designing objects, but he can also design human beings. (shrink)

Mitate is the name used to describe a typically Japanese visual trope, in which one object is meant to be seen as something else. While mitate is a defining element of Edo period haikai and ukiyo-e, a this kind of overlapping meanings can be found in much earlier sources. Its aesthetic effects are often smile, laughter, and parody, but mitate can also bestow a hidden depth to the commonplace and the contemporary through explicit and implicit connections to more noble and (...) remote cultural antecedents. In this paper I examine mitate and mitate-like configurations throughout the history of Japanese aesthetics, and conclude by asking whether mitate is indeed a uniquely Japanese phenomenon and by analysing whether and how it can be relevant to some philosophical discussions (Husserl's and Wittgenstein’s) concerned with the phenomenological and ontological status of images. (shrink)

This paper deals with the modal logics associated with (possibly nonstandard) provability predicates of Peano Arithmetic. One of our goals is to present some modal systems having the fixed point property and not extending the Gödel-Löb system GL. We prove that, for every has the explicit fixed point property. Our main result states that every complete modal logic L having the Craig's interpolation property and such that , where and are suitable modal formulas, has the explicit fixed point property.

En Una Teoría de la Justicia (A Theory of Justice, 1971), la justicia —sus dos principios— viene a regular los intereses, fundamento y motor de la sociedad y del individuo ralwsianos. No obstante, tal regulación —individualista— preserva y favorece la libertad máxima individual, de modo que ésta, sin embargo, no llegue a alterar el orden social. Sobre la moralidad que Rawls propone, ante todo, hay que saber que la justicia como imparcialidad (Justice as fairness como él llama a su teoría) (...) no pretende la completa especificación de la conducta, sino más bien aproximarse a unos límites, a un marco dentro de los cuales los individuos y asociaciones son libres de perseguir sus fines (Rawls, 1978: 566). Acaso sean la indefinición o la poca importancia de pensar acerca de dichos fines los que hagan considerar a Rawls la moralidad como una simple preferencia (1978: 244), rasgo común en las tradiciones con las que se relaciona (utilitarismo y contractualismo). El concepto de bien se halla implícito en toda la teoría de la justicia de Rawls y sus conceptos (sociedad, individuo, deber, etc.), y, por tanto, en muchos debates que Rawls ha generado, aunque, a nuestro juicio, no ha sido examinado con suficiente detenimiento. El análisis que se propone discurre por tres temas distintos: el contexto del concepto de bien, la teoría específica (del bien) y la teoría general (del bien), para terminar con la conclusión. (shrink)

El cine se ha descubierto como una herramienta efectiva y útil para el estudio de la Historia y la Sociología. Esa es la intención del análisis de dos películas clásicas del cine español como son ‘Historias de la Radio’ e ‘Historias de la Tele’, ambas dirigidas por el polémico José Luis Sáenz de Heredia, conocido por sus lazos familiares con el creador de Falange Española y su relación con el General Franco. Lejos de polémicas controversias y lecturas políticas, este artículo (...) intenta describir las diferencias entre la sociedad española de los años 50 y 60 usando el cine como base para el análisis. (shrink)